Buchbesprechungen

Ohne Zusammenfassung     

Hydrogen adsorption studies in micro-size cobalt dots

Hydrogen desorption curves were obtained from a sample composed of a square arrangement of Co dots with average diameter of 4.4 μm, separated by a distance of 11.6 μm. A macroscopic sample of Co dots grown on a 2.5 × 2.5 cm Si substrate was made by standard lithographic techniques and used in these experiments. Thermal programmed desorption (TPD) was performed under ultra-high vacuum conditions. Hydrogen TPD curves were obtained from a 1 × 1 cm Co dots samples displaying a maximum of intensity at 425 K. Hydrogen TPD curve was also obtained from 1 cm× 1 cm samples of Co films and Co foils for comparison. The hydrogen TPD curves have decreasing intensity from the Co foils to the Co dots and finally to the Co films. This indicates that there are more sites for hydrogen adsorption on the Co dots than in the Co films. This is a surprising result because there is approximately 8.7 times less Co atoms exposed in the Co dots that in the Co film sample. A desorption energy of 27 kcal/mol was obtained for the Co dots suggesting that hydrogen is adsorbed on an hcp hollow site of the Co dot crystalline structure.     

Making polyurethane foams from microemulsions

A remarkable correlation exists between the degree of expansion of polyurethane foams and the structure of the reacting premixes. Polyurethane foams obtained from reacting premixes containing microemulsions are highly expanded. The expansion rate is proportional to the volume fraction of microemulsion in the premix. The stability of premixes with and without microemulsion is completely different suggesting distinct creaming mechanisms. We apply this idea to synthesize polyurethane foams from microemulsions successfully. This approach can be used to rationalize the design of polyurethane formulations leading to highly expanded foams.     

Disappearing subdural hematomas in children

Serum glucose and plasma C-peptide response to i.v. glucagon administration was evaluated in 24 healthy dogs, 12 dogs with untreated diabetes mellitus, 30 dogs with insulin-treated diabetes mellitus, and 8 dogs with naturally acquired hyperadrenocorticism. Serum insulin response also was evaluated in all dogs, except 20 insulin-treated diabetic dogs. Blood samples for serum glucose, serum insulin, and plasma C-peptide determinations were collected immediately before and 5, 10, 20, 30, and (for healthy dogs) 60 minutes after i.v. administration of 1 mg glucagon per dog. In healthy dogs, the patterns of glucagon-stimulated changes in plasma C-peptide and serum insulin concentrations were identical, with single peaks in plasma C-peptide and serum insulin concentrations observed approximately 15 minutes after i.v. glucagon administration. Mean plasma C-peptide and serum insulin concentrations in untreated diabetic dogs, and mean plasma C-peptide concentration in insulin-treated diabetic dogs did not increase significantly after i.v. glucagon administration. The validity of serum insulin concentration results was questionable in 10 insulin-treated diabetic dogs, possibly because of anti-insulin antibody interference with the insulin radioimmunoassay. Plasma C-peptide and serum insulin concentrations were significantly increased (P < .001) at all blood sampling times after glucagon administration in dogs with hyperadrenocorticism, compared with healthy dogs, and untreated and insulin-treated diabetic dogs. Five-minute C-peptide increment, C-peptide peak response, total C-peptide secretion, and, for untreated diabetic dogs, insulin peak response and total insulin secretion were significantly lower (P < .00l) in diabetic dogs, compared with healthy dogs, whereas these same parameters were significantly increased (P < .01) in dogs with hyperadrenocorticism, compared with healthy dogs, and untreated and insulin-treated diabetic dogs. Although not statistically significant, there was a trend for higher plasma C-peptide concentrations in untreated diabetic dogs compared with insulin-treated diabetic dogs during the glucagon stimulation test. Baseline C-peptide concentrations also were significantly higher (P < .05) in diabetic dogs treated with insulin for less than 6 months, compared with diabetic dogs treated for longer than 1 year. Finally, 7 of 42 diabetic dogs had baseline plasma C-peptide concentrations greater than 2 SD (ie, > 0.29 pmol/mL) above the normal mean plasma C-peptide concentration; values that were significantly higher, compared with the results in healthy dogs (P < .001) and with the other 35 diabetic dogs (P < .001). In summary, measurement of plasma C-peptide concentration during glucagon stimulation testing allowed differentiation among healthy dogs, dogs with impaired beta-cell function (ie, diabetes mellitus), and dogs with increased beta-cell responsiveness to glucagon (ie, insulin resistance). Plasma C-peptide concentrations during glucagon stimulation testing were variable in diabetic dogs and may represent dogs with type-1 and type-2 diabetes or, more likely, differences in severity of beta-cell loss in dogs with type-1 diabetes.     

The Volvo Uddevalla Plant

Volvos plants at Kalmar and, more recently at Uddevalla, have become noted throughout the world for their sociotechnical design and high levels of performance, breaking with mass production norms. Hence the statement from Volvo that both plants are to be closed, in order to meet the competitive threat from Japan, has come as a shock and a disappointment to those who saw them as embodying a viable alternative to lean production. This paper makes the case that Uddevalla had a productive and commercial potential unmatched elsewhere in the Volvo group, and that the decision to close the plant must have been taken on other grounds.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.